Polyprograms and Polyprogram Bisimulation
نویسندگان
چکیده
منابع مشابه
Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata
Probabilistic automata were introduced by Rabin in 1963 as language acceptors. Two automata are equivalent if and only if they accept each word with the same probability. On the other side, in the process algebra community, probabilistic automata were re-proposed by Segala in 1995 which are more general than Rabin’s automata. Bisimulations have been proposed for Segala’s automata to characteriz...
متن کاملLinearity and Bisimulation
Exploiting linear type structure, we introduce a new theory of weak bisimilarity for the π-calculus in which we abstract away not only τ -actions but also non-τ actions which do not affect well-typed observers. This gives a congruence far larger than the standard bisimilarity while retaining semantic soundness. The framework is smoothly extendible to other settings involving nondeterminism and ...
متن کاملBisimulation and open maps
An abstract deenition of bisimulation is presented. It enables a uniform deenition of bisimulation across a range of diierent models for parallel computation presented as categories. As examples, transition systems, synchronisation trees, transition systems with independence (an abstraction from Petri nets) and labelled event structures are considered. On transition systems the abstract deeniti...
متن کاملLogic Programming and Bisimulation
The logic programming encoding of the set-theoretic graph property known as bisimulation is analyzed. This notion is of central importance in non-well-founded set theory, semantics of concurrency, model checking, and coinductive reasoning. From a modeling point of view, it is particularly interesting since it allows two alternative high-level characterizations. We analyze the encoding style of ...
متن کاملBisimulation and Fault-tolerance
Fault-tolerance is the crucial property for a safety-critical system: to perform as speciied in spite of failures in the operating environment. The purpose of this paper is to show how to establish such a property between a pair of concurrent systems: a high-level speciication and its fault-aaected implementation. We model a fault by a set of transitions and deene various extensions of the well...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modeling and Analysis of Information Systems
سال: 2018
ISSN: 2313-5417,1818-1015
DOI: 10.18255/1818-1015-2018-5-534-548